大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Joel H. American school 的图书(共3282本)

Central European Functional Programming School [electronic resource] : First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

0
索取号：
作者：Horv谩th、 Zolt谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

0
索取号：
作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

0
索取号：
作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Motivic Homotopy Theory [electronic resource] : Lectures at a Summer School in Nordfjordeid, Norway, August 2002

0
索取号：
作者：Dundas、 Bj酶rn Ian.、Levine、 Marc.、脴stv忙r、 Paul Arne.、R枚ndigs、 Oliver.、Voevodsky、 Vladimir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 [electronic resource] : 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeir茫o Preto, Brazil, October 23-27, 2006. Proceedings

0
索取号：
作者：Sichman、 Jaime Sim茫o.、Coelho、 Helder.、Rezende、 Solange Oliveira.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

0
索取号：
作者：Barahona、 Pedro.、Bry、 Fran莽ois.、Franconi、 Enrico.、Henze、 Nicola.、Sattler、 Ulrike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Stochastic Geometry [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, September 13鈥Ḭ 2004

0
索取号：
作者：Baddeley、 Adrian.、B谩r谩ny、 Imre.、Schneider、 Rolf.、Weil、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Analytic Number Theory [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11鈥Ḭ 2002

0
索取号：
作者：Friedlander、 J. B.、Heath-Brown、 D. R.、Iwaniec、 H.、Kaczorowski、 J.、Perelli、 Alberto.、Viola、 Carlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

0
索取号：
作者：Correa、 Jos茅 R.、Hevia、 Alejandro.、Kiwi、 Marcos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundation of Turbulent Viscous Flows [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, SEptember 1-5, 2003

0
索取号：
作者：Cannone、 Marco.、Miyakawa、 Tetsuro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dependable Computing [electronic resource] : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings

0
索取号：
作者：Maziero、 Carlos Alberto.、Gabriel Silva、 Jo茫o.、Andrade、 Aline Maria Santos.、Assis Silva、 Fl谩vio Morais.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Functional Programming [electronic resource] : 5th International School, AFP 2004, Tartu, Estonia, August 14 鈥ಱ, 2004, Revised Lectures

0
索取号：
作者：Vene、 Varmo.、Uustalu、 Tarmo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Reasoning Web [electronic resource] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

0
索取号：
作者：Eisinger、 Norbert.、Ma艂uszy艅ski、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

0
索取号：
作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院